- первое доказательство
- 初步证明
Русско-китайский юридический словарь.
Русско-китайский юридический словарь.
Доказательство (логика) — У этого термина существуют и другие значения, см. Доказательство. Доказательство это логическая операция обоснования истинности утверждения с помощью фактов и других истинных связанных с ним суждений. Познание отдельных фактов, предметов, их… … Википедия
доказательство по случаям — логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путем установления того, что по меньшей мере одно из оснований условных… … Словарь терминов логики
доказательство разбором случаев — логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путем установления того, что по меньшей мере одно из оснований условных… … Словарь терминов логики
Первое число Скьюза — Число Скьюза (англ. Skewes number) наименьшее целое число n такое, что , где количество простых чисел, не превосходящих , сдвинутый интегральный логарифм. Джон Литтлвуд в 1914 дал неконструктивное доказательство того … Википедия
косвенное доказательство — доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения. При прямом доказательстве задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис. В К. д.… … Словарь терминов логики
Регрессивное доказательство — противоположно прогрессивному; второе идет от общего к частному, от основания к выводу, первое от частного к общему, от следствия к условиям … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… … Большая биографическая энциклопедия
Лемма Гейне — Бореля — Леммой Гейне Бореля [1], а также леммой Бореля Лебега [2] называется следующий факт, играющий фундаментальную роль в анализе: Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также… … Википедия
Лемма Гейне — Леммой Гейне Бореля [1], а также леммой Бореля Лебега [2] называется следующий факт, играющий фундаментальную роль в анализе: Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также… … Википедия
Крескас, Хасдай — Хасдай бен Иегуда Крескас ивр. חסדאי קרשקש, исп. Hasdai Crescas, кат. Hasdai Cresques Дата рождения: 1340 (?) Место рождения: Барселона Дата смерти: 1410 (1411?) … Википедия
Гаусс Карл Фридрих — (Gauß) (1777 1855), немецкий математик, иностранный член корреспондент (1802) и иностранный почетный член (1824) Петербургской АН. Для творчества Гаусса характерна органическая связь между теоретической и прикладной математикой, широта… … Энциклопедический словарь